Miss C. M. Hamill

T D C C P-c M C M

A framework for modelling memory consistency is presented. The framework is used to specify the operation of a total-store-order write buffer multiprocessor machine. The framework is used again to specify a more abstract “programmer-centric” model that does not refer to the write-buffer architecture. Finally, we prove that the abstract model correctly captures the computations of the operationa...

T C C 20 Y  M  M S

Twenty years ago, modal and mixed specifications were proposed as abstract models of system behavior. In this paper, we explain the nature and utility of such specifications, relate them to other formalisms, showcase some of their established applications, and mention some existing tool support. We also present some recent complexity results for decision problems underlying such applications an...

M . A . C . Student SHOULD HAVE AN M . A . C .

I t w a s found imposs ib le to a r r a n g e a da t e for M a u d Ba l l i ng ton B o o t h as adve r t i s ed on ou r e n t e r t a i n m e n t cour se and t h e c o m m i t t e e h a s secu red in p lace of th is n u m b e r D r . Tohn M e r r i t t D r i v e r of C h i c a g o , w h o wil l l ec ture in t he A r m o r y F r i d a y e v e n i n g . H e w a s f o r m e r l y p a s t o r of t ...

Paper of the Year 2006: award to Pamela Hamill.

The ‘Paper of the Year Award 2006’ honors the best paper published in Biological Chemistry in 2006. The winner is selected by the Editors of Biological Chemistry and the Board of the Gesellschaft für Biochemie und Molekularbiologie (GBM). This year’s awardee is Dr. Pamela Hamill, who is the first author of the paper entitled ‘Development of a red-shifted fluorescence based assay for SARS-corona...

State Dependent M/M/C/K/N Machining System with Mixed Spares and Removable Repairmen